Model Studies of Hopper Aeration system.

Analysis of the Synchronized Hopper System

Explicit State Model Checking with Hopper

The Murφ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murφ’s class structure to implement new algorithms. Hopper differs from Murφ in that it includes in its distribution published parallel and disk based algorithms, as well as several new algorithms. For example, Hopper includes parallel dynamic partitioning, cooperative parallel search for LTL violations and...

On the computation of steady hopper flows III: Model comparisons

Gravity flows of granular materials through hoppers are considered. For hoppers shaped as general nonaxisymmetric cones, i.e., “pyramids”, the flow inherits some simplified features from the geometry: similarity solutions can be constructed. Using two different plasticity laws, namely Matsuoka-Nakai and von Mises, those solutions are obtained by solving first order nonlinear partial differentia...

Aeration and de-aeration at bottom aeration devices on spillways

Aeration devices are introduced along chute spillways and at bottom outlets to prevent cavitation damage in high velocity flows. Bottom aerators are characterised by large quantities of air entrained along the jet interfaces but also by a strong de-aeration process near the impact of the water jet with the spillway bottom. In this paper, the aeration and de-aeration occurring respectively in th...

Random Multi-Hopper Model. Super-Fast Random Walks on Graphs

We develop a model for a random walker with long-range hops on general graphs. This random multi-hopper jumps from a node to any other node in the graph with a probability that decays as a function of the shortest-path distance between the two nodes. We consider here two decaying functions in the form of the Laplace and Mellin transforms of the shortest-path distances. Remarkably, when the para...